TSTP Solution File: PRO021^1 by Nitpick---2016